12:38
2026-07-01
cryptobriefing.com
large-language-models
OpenAI’s LLM harness solves nine theoretical CS problems, plans expansion to all scientific fields
A team of researchers used a prover-verifier pipeline pairing OpenAI's GPT-5.5 Pro with Anthropic's Claude Opus 4.8 to solve nine open problems in theoretical computer science and mathematics, includi…